;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o5, o3, o9, o10, o4, o12, o11, o14, o6, o15, o7, o8, o2, o1, o13]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o14" 0 6)
;;   ("o5" 3 6)
;;   ("u2" 3 7)
;;   ("o11" 1 10)
;;   ("u1" 8 10)
;;   ("o14" 9 15)
;;   ("u3" 4 16)
;;   ("o5" 12 17)
;;   ("o9" 2 21)
;;   ("o3" 5 21)
;;   ("u2" 15 22)
;;   ("u3" 20 22)
;;   ("o11" 14 23)
;;   ("o14" 18 24)
;;   ("o6" 19 25)
;;   ("o10" 11 26)
;;   ("o15" 13 27)
;; --------------
;; core
;; --------------------------------
;;  name:o5 start:5 length:10
;;  name:o5 start:29 length:10
;;  name:o3 start:9 length:36
;;  name:o9 start:4 length:41
;;  name:o10 start:27 length:38
;;  name:o11 start:3 length:21
;;  name:o11 start:34 length:24
;;  name:o14 start:0 length:15
;;  name:o14 start:22 length:13
;;  name:o14 start:40 length:21
;;  name:o6 start:42 length:22
;;  name:o15 start:31 length:56
;;  name:u1 start:21 length:3
;;  name:u2 start:5 length:13
;;  name:u2 start:35 length:18
;;  name:u3 start:8 length:28
;;  name:u3 start:43 length:10
;; patternLength:87
;; --------------------------------
(0
 (
 ("u2" 1 9)
 ("o14" 5 20)
 ("o5" 10 20)
 ("u2" 10 23)
 ("o11" 8 29)
 ("u1" 26 29)
 ("u2" 24 34)
 ("u2" 35 39)
 ("o14" 27 40)
 ("u3" 13 41)
 ("o5" 34 44)
 ("o14" 42 44)
 ("o9" 9 50)
 ("o3" 14 50)
 ("u2" 40 58)
 ("u3" 48 58)
 ("o11" 39 63)
 ("o14" 45 66)
 ("o7" 53 66)
 ("o6" 47 69)
 ("o10" 32 70)
 ("o3" 51 82)
 ("u2" 59 82)
 ("o13" 70 90)
 ("o15" 36 92)
 ("o4" 56 95)
 ("o9" 60 95)
 ("u2" 83 104)
 ("o5" 84 104)
 ("o10" 84 110)
 ("o2" 62 111)
 ("o11" 83 147)
 ("o6" 82 148)
 ("o15" 94 150)
 ("o12" 67 157)
 ("o1" 62 158)
 ("u3" 62 166)
 ("u1" 83 168)
))
(1
 (
 ("u3" 8 13)
 ("o14" 6 21)
 ("o5" 11 21)
 ("u2" 11 24)
 ("u1" 6 26)
 ("o11" 9 30)
 ("u1" 27 30)
 ("o15" 6 36)
 ("o11" 31 39)
 ("o14" 28 41)
 ("u3" 14 42)
 ("o7" 30 44)
 ("o5" 35 45)
 ("o9" 10 51)
 ("o3" 15 51)
 ("u2" 41 59)
 ("u3" 49 59)
 ("o11" 40 64)
 ("o14" 46 67)
 ("o6" 48 70)
 ("o10" 33 71)
 ("o10" 72 74)
 ("o8" 68 77)
 ("o13" 45 84)
 ("o7" 72 84)
 ("u1" 47 85)
 ("o15" 37 93)
 ("o6" 80 99)
 ("o12" 60 101)
 ("o3" 52 102)
 ("u3" 60 105)
 ("o9" 52 123)
 ("o4" 45 130)
 ("o5" 77 139)
 ("o14" 68 145)
 ("o1" 74 154)
 ("o15" 94 163)
 ("o2" 85 164)
 ("o11" 94 175)
))
(2
 (
 ("o14" 17 32)
 ("o5" 22 32)
 ("u2" 22 35)
 ("o12" 3 39)
 ("o11" 20 41)
 ("u1" 38 41)
 ("o5" 44 45)
 ("o15" 27 47)
 ("o11" 42 50)
 ("o14" 39 52)
 ("u3" 25 53)
 ("o5" 46 56)
 ("o6" 20 58)
 ("o9" 21 62)
 ("o3" 26 62)
 ("u2" 52 70)
 ("u3" 60 70)
 ("u2" 72 74)
 ("o11" 51 75)
 ("o14" 57 78)
 ("o6" 59 81)
 ("o7" 12 82)
 ("o10" 44 82)
 ("o9" 64 89)
 ("o12" 41 96)
 ("u1" 78 97)
 ("o3" 91 103)
 ("o14" 97 103)
 ("o15" 48 104)
 ("o5" 91 104)
 ("o8" 21 109)
 ("o10" 83 110)
 ("o1" 31 114)
 ("o13" 88 136)
 ("o2" 58 138)
 ("o4" 66 141)
 ("o12" 98 143)
 ("u3" 91 152)
 ("o7" 98 154)
 ("o6" 111 181)
))
(3
 (
 ("o9" 31 33)
 ("o5" 6 34)
 ("o14" 30 45)
 ("o5" 35 45)
 ("u2" 35 48)
 ("o11" 33 54)
 ("u1" 51 54)
 ("o10" 25 56)
 ("o5" 46 58)
 ("o11" 59 63)
 ("o14" 52 65)
 ("u3" 38 66)
 ("o5" 59 69)
 ("o6" 68 71)
 ("o9" 34 75)
 ("o3" 39 75)
 ("u2" 65 83)
 ("u3" 73 83)
 ("o1" 33 87)
 ("o11" 64 88)
 ("o2" 71 90)
 ("o14" 70 91)
 ("o6" 72 94)
 ("o10" 57 95)
 ("o5" 79 105)
 ("o3" 94 108)
 ("o4" 17 114)
 ("o15" 61 117)
 ("o13" 91 118)
 ("u2" 106 118)
 ("u3" 108 129)
 ("u1" 90 139)
 ("o5" 116 155)
 ("o8" 107 160)
 ("o12" 53 161)
 ("o7" 77 164)
 ("o9" 109 169)
 ("o15" 118 174)
 ("o1" 113 176)
 ("o14" 116 210)
))
(4
 (
 ("o15" 12 30)
 ("o14" 16 31)
 ("o5" 21 31)
 ("u2" 21 34)
 ("o11" 19 40)
 ("u1" 37 40)
 ("o5" 36 42)
 ("o8" 35 44)
 ("o4" 39 47)
 ("o14" 38 51)
 ("u3" 24 52)
 ("o7" 53 54)
 ("o5" 45 55)
 ("o6" 23 57)
 ("u3" 53 58)
 ("o9" 20 61)
 ("o3" 25 61)
 ("u2" 51 69)
 ("u3" 59 69)
 ("o11" 50 74)
 ("o14" 56 77)
 ("o5" 73 77)
 ("o12" 76 77)
 ("o1" 38 79)
 ("o6" 58 80)
 ("o10" 43 81)
 ("o15" 47 103)
 ("o8" 90 106)
 ("o4" 104 108)
 ("u2" 70 109)
 ("o15" 104 118)
 ("o13" 37 124)
 ("o11" 83 125)
 ("u1" 84 187)
 ("o9" 91 197)
 ("o14" 100 211)
))
(5
 (
 ("o14" 5 20)
 ("o5" 10 20)
 ("u2" 10 23)
 ("o14" 21 26)
 ("o11" 8 29)
 ("u1" 26 29)
 ("o14" 27 40)
 ("u3" 13 41)
 ("o5" 34 44)
 ("o9" 9 50)
 ("o3" 14 50)
 ("o7" 42 52)
 ("u2" 40 58)
 ("u3" 48 58)
 ("o12" 5 59)
 ("o11" 39 63)
 ("o14" 45 66)
 ("o5" 64 66)
 ("o6" 47 69)
 ("o10" 32 70)
 ("o3" 63 77)
 ("o10" 71 77)
 ("u1" 47 91)
 ("o15" 36 92)
 ("o7" 86 97)
 ("o13" 25 105)
 ("o8" 63 111)
 ("o6" 72 116)
 ("o12" 60 120)
 ("u3" 94 123)
 ("o2" 19 124)
 ("o4" 86 126)
 ("o15" 93 134)
 ("o11" 66 135)
 ("o1" 56 141)
 ("u2" 80 156)
))
(6
 (
 ("o14" 4 13)
 ("o8" 3 26)
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o14" 36 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("u3" 51 56)
 ("o9" 18 59)
 ("o3" 23 59)
 ("o8" 28 63)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o11" 48 72)
 ("o14" 54 75)
 ("u1" 56 77)
 ("o6" 56 78)
 ("o10" 41 79)
 ("o8" 66 93)
 ("o1" 42 101)
 ("o15" 45 101)
 ("o9" 60 101)
 ("o7" 25 107)
 ("o13" 44 113)
 ("o3" 80 120)
 ("o11" 93 128)
 ("o8" 94 128)
 ("o10" 80 129)
 ("o5" 81 140)
 ("o2" 97 147)
 ("o14" 80 151)
 ("o4" 48 157)
 ("o15" 102 161)
 ("u2" 68 167)
))
(7
 (
 ("o14" 7 22)
 ("o5" 12 22)
 ("u2" 12 25)
 ("u1" 13 27)
 ("o11" 10 31)
 ("o13" 10 31)
 ("u1" 28 31)
 ("u2" 35 36)
 ("o14" 29 42)
 ("u3" 15 43)
 ("o12" 18 46)
 ("o5" 36 46)
 ("o7" 40 48)
 ("o9" 11 52)
 ("o3" 16 52)
 ("o13" 34 52)
 ("u2" 42 60)
 ("u3" 50 60)
 ("o11" 41 65)
 ("o14" 47 68)
 ("o6" 49 71)
 ("o10" 34 72)
 ("u2" 70 74)
 ("o4" 49 78)
 ("o5" 47 80)
 ("o13" 59 81)
 ("o2" 72 88)
 ("o11" 89 92)
 ("o15" 38 94)
 ("o6" 75 95)
 ("o12" 61 97)
 ("o7" 92 101)
 ("o13" 95 116)
 ("o10" 75 118)
 ("o1" 20 119)
 ("o3" 53 121)
 ("o8" 54 129)
 ("o15" 95 130)
 ("u3" 96 144)
 ("o14" 76 171)
 ("o9" 90 184)
))
(8
 (
 ("o14" 3 18)
 ("o5" 8 18)
 ("u2" 8 21)
 ("o4" 13 24)
 ("o11" 6 27)
 ("u1" 24 27)
 ("o11" 28 36)
 ("o14" 25 38)
 ("u3" 11 39)
 ("o5" 32 42)
 ("u3" 40 45)
 ("o9" 7 48)
 ("o3" 12 48)
 ("u2" 38 56)
 ("u3" 46 56)
 ("o4" 35 59)
 ("o11" 37 61)
 ("o14" 43 64)
 ("o6" 45 67)
 ("o10" 30 68)
 ("o9" 49 76)
 ("o13" 69 82)
 ("o15" 34 90)
 ("u2" 57 92)
 ("o4" 68 92)
 ("o10" 79 94)
 ("o3" 57 97)
 ("o5" 73 105)
 ("o14" 102 106)
 ("o15" 91 118)
 ("u1" 53 120)
 ("o7" 10 133)
 ("o8" 67 137)
 ("o6" 68 138)
 ("u3" 99 143)
 ("o1" 50 149)
 ("o2" 67 159)
))
(9
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o4" 8 18)
 ("o14" 17 21)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o10" 9 26)
 ("o8" 16 27)
 ("o11" 25 33)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o4" 25 36)
 ("o5" 29 39)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o8" 38 48)
 ("u2" 35 53)
 ("u3" 43 53)
 ("u1" 25 55)
 ("o3" 46 55)
 ("o11" 34 58)
 ("o4" 45 58)
 ("o14" 40 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o8" 60 68)
 ("o4" 69 79)
 ("o7" 41 85)
 ("o15" 31 87)
 ("o8" 80 92)
 ("o4" 86 92)
 ("o2" 37 102)
 ("u1" 80 104)
 ("o6" 72 105)
 ("o11" 76 106)
 ("o14" 79 114)
 ("o15" 88 114)
 ("o1" 66 116)
 ("o13" 47 119)
 ("o5" 43 123)
 ("u2" 54 123)
 ("o12" 67 129)
 ("o9" 57 133)
))
(10
 (
 ("u3" 11 12)
 ("o14" 5 20)
 ("o5" 10 20)
 ("u2" 10 23)
 ("o11" 8 29)
 ("u1" 26 29)
 ("o10" 6 31)
 ("o15" 33 35)
 ("u2" 24 39)
 ("o13" 1 40)
 ("o14" 27 40)
 ("u3" 13 41)
 ("o5" 34 44)
 ("o6" 15 46)
 ("u3" 42 47)
 ("o2" 46 47)
 ("o9" 9 50)
 ("o3" 14 50)
 ("u2" 40 58)
 ("u3" 48 58)
 ("o11" 39 63)
 ("o14" 45 66)
 ("o6" 47 69)
 ("o10" 32 70)
 ("o1" 44 72)
 ("o13" 41 76)
 ("o5" 55 82)
 ("u3" 69 83)
 ("o8" 63 90)
 ("o15" 36 92)
 ("o2" 92 93)
 ("u1" 35 102)
 ("u3" 94 111)
 ("o13" 77 113)
 ("o14" 91 117)
 ("o11" 77 122)
 ("o10" 71 124)
 ("o9" 51 127)
 ("o3" 86 131)
 ("o4" 84 136)
 ("o7" 77 169)
))
(11
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o13" 27 50)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o14" 40 61)
 ("u1" 35 62)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o1" 37 67)
 ("o14" 75 86)
 ("o15" 31 87)
 ("o11" 59 93)
 ("o13" 76 95)
 ("o4" 84 97)
 ("o6" 80 102)
 ("o9" 59 103)
 ("u1" 97 112)
 ("o12" 62 119)
 ("o15" 107 136)
 ("o3" 67 137)
 ("u3" 83 156)
 ("o8" 57 168)
 ("u2" 97 169)
 ("o2" 92 174)
 ("o7" 59 176)
 ("o5" 90 176)
))
(12
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("u1" 17 20)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o11" 25 33)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o6" 36 41)
 ("o9" 4 45)
 ("o3" 9 45)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o14" 40 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o9" 46 65)
 ("o5" 53 68)
 ("o14" 62 86)
 ("o15" 31 87)
 ("o13" 14 88)
 ("u3" 57 90)
 ("o12" 34 92)
 ("o3" 52 94)
 ("o2" 76 97)
 ("o8" 34 100)
 ("u2" 54 109)
 ("o4" 83 117)
 ("o7" 54 123)
 ("o1" 89 128)
 ("o9" 86 133)
 ("o11" 84 141)
 ("o15" 88 162)
 ("o10" 89 180)
))
(13
 (
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("u1" 8 34)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o15" 28 44)
 ("o7" 11 45)
 ("o11" 39 47)
 ("u2" 46 48)
 ("o14" 36 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("o6" 5 55)
 ("u3" 51 56)
 ("o9" 18 59)
 ("o3" 23 59)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o4" 20 70)
 ("o11" 48 72)
 ("o14" 54 75)
 ("o6" 56 78)
 ("o10" 41 79)
 ("o7" 51 81)
 ("u1" 51 91)
 ("o9" 66 92)
 ("o13" 6 99)
 ("o15" 45 101)
 ("o1" 40 110)
 ("o7" 83 112)
 ("o2" 53 124)
 ("o11" 97 136)
 ("o12" 99 137)
 ("o3" 60 143)
 ("u1" 101 145)
 ("o4" 91 153)
 ("o10" 80 168)
 ("o5" 61 172)
 ("o8" 68 172)
 ("o6" 97 203)
 ("o13" 101 204)
))
(14
 (
 ("o6" 1 5)
 ("u2" 3 5)
 ("o6" 8 10)
 ("o6" 12 13)
 ("o6" 14 15)
 ("o14" 1 16)
 ("o5" 6 16)
 ("u2" 6 19)
 ("o6" 17 19)
 ("o6" 20 21)
 ("o11" 4 25)
 ("u1" 22 25)
 ("o10" 13 27)
 ("o6" 26 27)
 ("o6" 28 29)
 ("o6" 31 33)
 ("o14" 23 36)
 ("o6" 35 36)
 ("u3" 9 37)
 ("o5" 30 40)
 ("o4" 25 43)
 ("o9" 5 46)
 ("o3" 10 46)
 ("u2" 36 54)
 ("u3" 44 54)
 ("o11" 35 59)
 ("o14" 41 62)
 ("o6" 43 65)
 ("o10" 28 66)
 ("u3" 60 66)
 ("o1" 23 68)
 ("o6" 66 68)
 ("o6" 69 70)
 ("o12" 34 73)
 ("o6" 72 73)
 ("o6" 77 78)
 ("o11" 60 80)
 ("o6" 81 83)
 ("o2" 32 87)
 ("o6" 86 87)
 ("o15" 32 88)
 ("o6" 90 92)
 ("o7" 13 95)
 ("o13" 70 95)
 ("o6" 93 95)
 ("o4" 77 96)
 ("o14" 66 101)
 ("o3" 47 106)
 ("o5" 55 117)
 ("o9" 74 118)
 ("o1" 89 128)
 ("o8" 42 139)
 ("u1" 57 145)
 ("o15" 89 145)
 ("o10" 91 152)
 ("u2" 79 157)
))
(15
 (
 ("o14" 1 16)
 ("o5" 6 16)
 ("u2" 6 19)
 ("o11" 4 25)
 ("u1" 22 25)
 ("u2" 20 35)
 ("o14" 23 36)
 ("u3" 9 37)
 ("o5" 30 40)
 ("o14" 37 40)
 ("o12" 5 43)
 ("o9" 5 46)
 ("o3" 10 46)
 ("u2" 36 54)
 ("u3" 44 54)
 ("o7" 23 57)
 ("o11" 35 59)
 ("o14" 41 62)
 ("o6" 43 65)
 ("o10" 28 66)
 ("o4" 7 71)
 ("o9" 47 73)
 ("o13" 30 77)
 ("o10" 67 80)
 ("o8" 29 81)
 ("o1" 68 81)
 ("o12" 47 82)
 ("u1" 26 86)
 ("o15" 32 88)
 ("o3" 47 92)
 ("o7" 77 104)
 ("o15" 94 105)
 ("u3" 56 114)
 ("o4" 78 126)
 ("o9" 78 134)
 ("o12" 95 134)
 ("o2" 58 136)
 ("o11" 80 164)
 ("o5" 83 168)
))
(16
 (
 ("o14" 1 16)
 ("o5" 6 16)
 ("u2" 6 19)
 ("o11" 4 25)
 ("u1" 22 25)
 ("o11" 32 34)
 ("o14" 23 36)
 ("o7" 29 36)
 ("u3" 9 37)
 ("o5" 30 40)
 ("o6" 29 42)
 ("u3" 38 43)
 ("o9" 5 46)
 ("o3" 10 46)
 ("u2" 36 54)
 ("u3" 44 54)
 ("o11" 35 59)
 ("o14" 41 62)
 ("o5" 60 62)
 ("u2" 61 64)
 ("o6" 43 65)
 ("o10" 28 66)
 ("o7" 69 71)
 ("o4" 41 72)
 ("o1" 58 72)
 ("o9" 59 73)
 ("o8" 32 86)
 ("o15" 32 88)
 ("o10" 86 98)
 ("o2" 34 103)
 ("o3" 63 110)
 ("o14" 63 119)
 ("o13" 40 122)
 ("u1" 52 125)
 ("o12" 49 128)
 ("o6" 83 128)
))
(17
 (
 ("o14" 1 5)
 ("o13" 3 8)
 ("o13" 14 16)
 ("o14" 6 21)
 ("o5" 11 21)
 ("o13" 19 22)
 ("u2" 11 24)
 ("u1" 11 26)
 ("o13" 23 26)
 ("o11" 9 30)
 ("u1" 27 30)
 ("o13" 32 35)
 ("o15" 18 36)
 ("o11" 31 39)
 ("u2" 25 40)
 ("o14" 28 41)
 ("u3" 14 42)
 ("o5" 35 45)
 ("o13" 41 45)
 ("o14" 42 45)
 ("u3" 43 48)
 ("o12" 17 50)
 ("o2" 17 50)
 ("o9" 10 51)
 ("o3" 15 51)
 ("o13" 49 53)
 ("u2" 41 59)
 ("u3" 49 59)
 ("o13" 55 63)
 ("o11" 40 64)
 ("o14" 46 67)
 ("o6" 48 70)
 ("o10" 33 71)
 ("o13" 72 75)
 ("o5" 46 76)
 ("o13" 78 79)
 ("o8" 85 86)
 ("u1" 59 87)
 ("o7" 19 89)
 ("o13" 86 90)
 ("o3" 77 91)
 ("o15" 37 93)
 ("o13" 94 97)
 ("o13" 98 104)
 ("o11" 65 105)
 ("o2" 70 110)
 ("o6" 75 113)
 ("o15" 94 121)
 ("o12" 81 126)
 ("o9" 52 130)
 ("o14" 80 130)
 ("u1" 97 134)
 ("u2" 86 149)
 ("o1" 78 159)
 ("o4" 92 160)
))
(18
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o15" 18 30)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o6" 37 41)
 ("u3" 37 42)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o8" 43 51)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o14" 40 61)
 ("o5" 49 63)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o9" 46 68)
 ("o11" 59 68)
 ("o15" 31 87)
 ("u1" 44 88)
 ("o7" 88 93)
 ("o10" 93 98)
 ("o3" 50 103)
 ("o13" 70 115)
 ("o2" 66 117)
 ("o12" 25 118)
 ("o9" 77 127)
 ("o1" 43 138)
 ("o4" 51 140)
 ("o14" 96 146)
))
(19
 (
 ("o14" 1 3)
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o11" 7 28)
 ("u1" 25 28)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("o14" 40 43)
 ("o6" 39 45)
 ("o9" 8 49)
 ("o3" 13 49)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o11" 38 62)
 ("o13" 20 65)
 ("o14" 44 65)
 ("o2" 62 66)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o4" 73 79)
 ("o8" 53 82)
 ("o7" 68 88)
 ("u1" 49 90)
 ("o15" 35 91)
 ("o3" 50 101)
 ("o15" 92 103)
 ("o9" 53 111)
 ("o5" 58 113)
 ("o13" 88 127)
 ("o14" 91 132)
 ("u3" 63 137)
 ("o12" 46 141)
 ("o1" 60 141)
 ("u2" 72 182)
))
(20
 (
 ("o14" 5 13)
 ("u2" 13 18)
 ("o15" 19 28)
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("o14" 30 35)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o15" 35 43)
 ("o14" 36 49)
 ("o4" 46 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("o14" 50 53)
 ("o6" 6 55)
 ("o9" 18 59)
 ("o3" 23 59)
 ("o8" 56 65)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o11" 48 72)
 ("o14" 54 75)
 ("o6" 56 78)
 ("o10" 41 79)
 ("o15" 45 101)
 ("o13" 38 102)
 ("o15" 102 105)
 ("o14" 86 107)
 ("o4" 105 108)
 ("o2" 25 110)
 ("u3" 68 115)
 ("o7" 14 117)
 ("o14" 110 133)
 ("o12" 78 136)
 ("o3" 60 146)
 ("o5" 109 161)
 ("o11" 73 165)
 ("o6" 79 168)
 ("o10" 80 168)
 ("o1" 65 172)
 ("u1" 82 194)
 ("o9" 101 198)
))
(21
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o11" 25 33)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o14" 36 39)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o4" 34 46)
 ("o1" 9 52)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o5" 40 60)
 ("o14" 40 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o7" 55 68)
 ("u3" 68 71)
 ("u2" 58 74)
 ("o4" 75 81)
 ("o9" 80 82)
 ("o15" 31 87)
 ("o1" 58 101)
 ("o11" 59 101)
 ("u1" 58 102)
 ("o13" 47 107)
 ("o12" 33 110)
 ("o8" 31 124)
 ("o2" 87 127)
 ("o3" 87 161)
))
(22
 (
 ("o14" 8 23)
 ("o5" 13 23)
 ("o15" 13 26)
 ("u2" 13 26)
 ("u1" 27 28)
 ("o11" 11 32)
 ("u1" 29 32)
 ("o10" 17 34)
 ("o12" 17 36)
 ("o14" 30 43)
 ("u3" 16 44)
 ("o5" 37 47)
 ("o14" 44 47)
 ("o6" 7 49)
 ("u3" 45 50)
 ("o9" 12 53)
 ("o3" 17 53)
 ("u2" 43 61)
 ("u3" 51 61)
 ("o11" 42 66)
 ("u1" 63 66)
 ("o14" 48 69)
 ("o6" 50 72)
 ("o10" 35 73)
 ("o13" 71 78)
 ("o12" 55 79)
 ("o9" 70 83)
 ("o4" 7 84)
 ("u1" 92 93)
 ("o7" 64 94)
 ("o15" 39 95)
 ("o8" 8 98)
 ("o2" 82 104)
 ("o10" 74 109)
 ("o1" 98 111)
 ("o3" 64 118)
 ("o12" 99 123)
 ("o11" 67 127)
 ("o6" 73 128)
 ("o5" 64 133)
 ("u2" 68 137)
 ("o4" 90 166)
))
(23
 (
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o14" 20 25)
 ("o11" 7 28)
 ("u1" 25 28)
 ("o10" 15 30)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("u3" 41 46)
 ("o9" 8 49)
 ("o3" 13 49)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o11" 38 62)
 ("o14" 44 65)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o1" 79 84)
 ("o4" 3 88)
 ("o15" 35 91)
 ("o8" 29 92)
 ("u1" 89 106)
 ("o7" 61 108)
 ("o10" 71 113)
 ("o5" 44 114)
 ("u3" 84 116)
 ("o6" 69 117)
 ("o3" 97 124)
 ("o11" 84 129)
 ("o2" 69 130)
 ("o12" 50 132)
 ("o9" 88 167)
 ("u2" 81 172)
 ("o13" 81 180)
 ("o4" 93 189)
))
(24
 (
 ("o4" 1 23)
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o10" 17 40)
 ("o4" 24 46)
 ("u2" 33 48)
 ("o14" 36 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("o14" 50 53)
 ("o9" 18 59)
 ("o3" 23 59)
 ("o13" 55 65)
 ("o4" 47 66)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o11" 48 72)
 ("o14" 54 75)
 ("o6" 56 78)
 ("o10" 41 79)
 ("o4" 67 87)
 ("u1" 56 90)
 ("o12" 59 90)
 ("u3" 72 90)
 ("o15" 45 101)
 ("o4" 88 108)
 ("o15" 106 109)
 ("o1" 49 120)
 ("o11" 73 125)
 ("o10" 84 127)
 ("o8" 20 132)
 ("o4" 109 133)
 ("o2" 102 143)
 ("o9" 73 148)
 ("o5" 54 158)
 ("u2" 94 160)
 ("o6" 85 171)
 ("o3" 96 179)
))
(25
 (
 ("o9" 2 12)
 ("o5" 9 14)
 ("o14" 10 25)
 ("o5" 15 25)
 ("u2" 15 28)
 ("u1" 24 30)
 ("o11" 13 34)
 ("u1" 31 34)
 ("o10" 33 36)
 ("o5" 31 38)
 ("o15" 29 40)
 ("o14" 32 45)
 ("u3" 18 46)
 ("o5" 39 49)
 ("o9" 14 55)
 ("o3" 19 55)
 ("o9" 56 59)
 ("u2" 45 63)
 ("u3" 53 63)
 ("o11" 44 68)
 ("o5" 54 69)
 ("o14" 50 71)
 ("o6" 52 74)
 ("o10" 37 75)
 ("o9" 67 75)
 ("o9" 78 83)
 ("o11" 69 91)
 ("o9" 88 92)
 ("o5" 80 93)
 ("o15" 41 97)
 ("o9" 95 106)
 ("u2" 64 107)
 ("o14" 93 107)
 ("o5" 102 111)
 ("o3" 60 113)
 ("o9" 107 115)
 ("o1" 81 118)
 ("o12" 18 119)
 ("o2" 78 129)
 ("o4" 101 132)
 ("o7" 72 144)
 ("u3" 64 146)
 ("o6" 96 156)
 ("o8" 93 176)
))
(26
 (
 ("u2" 2 21)
 ("o14" 17 32)
 ("o5" 22 32)
 ("u2" 22 35)
 ("o11" 20 41)
 ("u1" 38 41)
 ("o10" 3 43)
 ("o14" 39 52)
 ("u3" 25 53)
 ("o6" 12 56)
 ("o5" 46 56)
 ("o9" 21 62)
 ("o3" 26 62)
 ("u2" 52 70)
 ("u3" 60 70)
 ("o9" 63 74)
 ("o11" 51 75)
 ("o14" 57 78)
 ("o6" 59 81)
 ("o10" 44 82)
 ("o13" 32 84)
 ("o1" 61 84)
 ("o3" 63 89)
 ("o11" 76 96)
 ("u3" 84 96)
 ("o9" 87 96)
 ("o15" 48 104)
 ("o6" 82 113)
 ("o10" 83 119)
 ("o7" 35 125)
 ("o12" 67 125)
 ("o4" 105 128)
 ("u1" 78 132)
 ("o15" 105 144)
 ("o14" 79 146)
 ("o8" 67 167)
 ("o2" 88 176)
))
(27
 (
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o11" 7 28)
 ("u1" 25 28)
 ("o5" 20 32)
 ("o11" 34 37)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("o9" 8 49)
 ("o3" 13 49)
 ("o2" 39 55)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o5" 44 60)
 ("o11" 38 62)
 ("o14" 44 65)
 ("o3" 50 66)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o10" 70 74)
 ("o5" 66 86)
 ("o15" 35 91)
 ("o12" 28 92)
 ("o4" 70 95)
 ("o13" 29 110)
 ("o5" 94 114)
 ("o9" 50 115)
 ("u1" 32 123)
 ("o8" 77 144)
 ("o1" 91 144)
 ("o14" 80 148)
 ("o15" 98 153)
 ("o6" 69 157)
 ("u2" 102 192)
))
(28
 (
 ("o8" 2 14)
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("u1" 1 20)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o10" 16 26)
 ("o8" 22 26)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o6" 28 41)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o2" 12 49)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o8" 41 59)
 ("o14" 40 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o7" 18 76)
 ("o4" 51 77)
 ("u1" 39 79)
 ("o8" 68 79)
 ("o11" 75 83)
 ("o5" 71 85)
 ("o15" 31 87)
 ("o3" 87 91)
 ("o13" 22 95)
 ("o2" 66 95)
 ("o12" 62 101)
 ("u3" 77 103)
 ("o8" 88 103)
 ("u2" 71 104)
 ("u1" 81 107)
 ("o15" 88 124)
 ("o14" 81 125)
 ("o1" 28 131)
 ("o7" 84 135)
 ("o9" 90 174)
))
(29
 (
 ("o14" 3 18)
 ("o5" 8 18)
 ("u2" 8 21)
 ("o11" 6 27)
 ("u1" 24 27)
 ("o15" 14 33)
 ("o14" 25 38)
 ("u3" 11 39)
 ("o5" 32 42)
 ("o8" 25 45)
 ("o9" 7 48)
 ("o3" 12 48)
 ("u2" 38 56)
 ("u3" 46 56)
 ("o11" 37 61)
 ("o14" 43 64)
 ("o6" 45 67)
 ("o9" 49 67)
 ("o10" 30 68)
 ("o4" 64 81)
 ("o15" 34 90)
 ("o2" 45 97)
 ("o10" 71 106)
 ("o8" 78 106)
 ("o5" 46 108)
 ("o13" 28 111)
 ("o9" 81 125)
 ("o3" 49 129)
 ("o12" 83 141)
 ("u2" 78 144)
 ("o6" 80 145)
 ("o11" 62 156)
 ("o7" 53 167)
 ("u1" 96 173)
 ("o1" 88 182)
))
(30
 (
 ("o11" 13 19)
 ("u2" 20 23)
 ("o14" 19 34)
 ("o5" 24 34)
 ("u2" 24 37)
 ("u1" 7 39)
 ("o11" 22 43)
 ("o15" 40 43)
 ("u1" 40 43)
 ("o14" 41 54)
 ("u3" 27 55)
 ("o5" 48 58)
 ("o1" 41 62)
 ("o9" 23 64)
 ("o3" 28 64)
 ("o3" 65 66)
 ("o12" 20 72)
 ("u2" 54 72)
 ("u3" 62 72)
 ("o4" 10 76)
 ("o11" 53 77)
 ("o14" 59 80)
 ("o11" 78 82)
 ("o6" 61 83)
 ("o10" 46 84)
 ("o9" 65 99)
 ("o7" 87 103)
 ("o15" 50 106)
 ("o11" 102 109)
 ("o8" 105 115)
 ("o5" 61 118)
 ("o6" 84 123)
 ("o10" 85 143)
 ("o12" 89 146)
 ("o2" 59 157)
 ("o4" 88 157)
 ("o13" 103 162)
 ("u3" 91 166)
))
(31
 (
 ("o15" 10 11)
 ("o6" 4 12)
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o15" 20 23)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o10" 13 26)
 ("o11" 25 33)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o14" 37 38)
 ("o5" 29 39)
 ("o6" 22 41)
 ("u3" 37 42)
 ("o9" 4 45)
 ("o3" 9 45)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o11" 34 58)
 ("o14" 40 61)
 ("o9" 46 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("u1" 55 69)
 ("o4" 20 71)
 ("o7" 45 72)
 ("u2" 54 76)
 ("o6" 65 81)
 ("o5" 43 82)
 ("o11" 64 86)
 ("o15" 31 87)
 ("o3" 47 88)
 ("o10" 66 88)
 ("o13" 8 93)
 ("o8" 46 101)
 ("o6" 89 103)
 ("o2" 20 113)
 ("o12" 77 117)
 ("o1" 79 141)
))
(32
 (
 ("o14" 7 22)
 ("o5" 12 22)
 ("u2" 12 25)
 ("o14" 23 28)
 ("o11" 10 31)
 ("u1" 28 31)
 ("u2" 40 41)
 ("o14" 29 42)
 ("u3" 15 43)
 ("o5" 36 46)
 ("u3" 44 49)
 ("o9" 11 52)
 ("o3" 16 52)
 ("o7" 56 59)
 ("u2" 42 60)
 ("u3" 50 60)
 ("o11" 41 65)
 ("o14" 47 68)
 ("o6" 49 71)
 ("o10" 34 72)
 ("o10" 73 74)
 ("o15" 38 94)
 ("u1" 71 97)
 ("o4" 61 100)
 ("o5" 99 105)
 ("o7" 97 106)
 ("o6" 103 106)
 ("o3" 79 116)
 ("o8" 46 130)
 ("o11" 66 131)
 ("o2" 104 155)
 ("o15" 95 158)
 ("o1" 69 159)
 ("o9" 91 162)
 ("o14" 98 165)
 ("o13" 106 168)
 ("o12" 109 173)
))
(33
 (
 ("o5" 4 8)
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o7" 15 23)
 ("o2" 14 27)
 ("o11" 7 28)
 ("u1" 25 28)
 ("o10" 9 30)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("o14" 40 43)
 ("u3" 41 46)
 ("o7" 42 47)
 ("o9" 8 49)
 ("o3" 13 49)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o11" 38 62)
 ("o9" 50 63)
 ("o2" 44 64)
 ("o7" 60 64)
 ("o14" 44 65)
 ("u3" 60 67)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o7" 73 81)
 ("o13" 57 84)
 ("o11" 63 88)
 ("u3" 82 88)
 ("u2" 73 90)
 ("o15" 35 91)
 ("o12" 71 92)
 ("u1" 72 93)
 ("o7" 93 96)
 ("o2" 82 100)
 ("o4" 36 114)
 ("o1" 29 116)
 ("o8" 78 120)
 ("o10" 71 121)
 ("o9" 98 123)
 ("o3" 50 137)
 ("o5" 63 138)
 ("o6" 69 146)
))
(34
 (
 ("o11" 10 13)
 ("u3" 11 18)
 ("o14" 11 26)
 ("o5" 16 26)
 ("u2" 16 29)
 ("o11" 14 35)
 ("u1" 32 35)
 ("o5" 27 39)
 ("o11" 37 44)
 ("u2" 30 45)
 ("o14" 33 46)
 ("u3" 19 47)
 ("o5" 40 50)
 ("o9" 15 56)
 ("o3" 20 56)
 ("u2" 46 64)
 ("u3" 54 64)
 ("o11" 45 69)
 ("o14" 51 72)
 ("o6" 53 75)
 ("o10" 38 76)
 ("o11" 70 81)
 ("u2" 70 89)
 ("o6" 88 95)
 ("o15" 42 98)
 ("o2" 50 100)
 ("o10" 92 100)
 ("u1" 83 115)
 ("o11" 91 115)
 ("o15" 99 118)
 ("o7" 84 122)
 ("o14" 92 122)
 ("o8" 89 127)
 ("o3" 57 132)
 ("o13" 54 136)
 ("o12" 63 136)
 ("o9" 57 148)
 ("o1" 69 154)
 ("o4" 88 184)
))
(35
 (
 ("o11" 6 11)
 ("o14" 9 24)
 ("o5" 14 24)
 ("u2" 14 27)
 ("o14" 25 30)
 ("o11" 12 33)
 ("u1" 30 33)
 ("o10" 15 35)
 ("o14" 31 44)
 ("u3" 17 45)
 ("o5" 38 48)
 ("o6" 23 50)
 ("o7" 24 52)
 ("o4" 6 53)
 ("o9" 13 54)
 ("o3" 18 54)
 ("u2" 44 62)
 ("u3" 52 62)
 ("o12" 22 67)
 ("o11" 43 67)
 ("o14" 49 70)
 ("o6" 51 73)
 ("o10" 36 74)
 ("o2" 8 85)
 ("o8" 73 85)
 ("u2" 63 91)
 ("o14" 71 92)
 ("o15" 40 96)
 ("o3" 55 100)
 ("o7" 81 111)
 ("o5" 91 117)
 ("u3" 63 124)
 ("o1" 41 126)
 ("o4" 65 126)
 ("o15" 97 139)
 ("o12" 90 144)
 ("o13" 84 166)
 ("o2" 95 177)
 ("o11" 92 179)
))
(36
 (
 ("o14" 1 16)
 ("o5" 6 16)
 ("u2" 6 19)
 ("o11" 4 25)
 ("u1" 22 25)
 ("u1" 28 35)
 ("u2" 33 35)
 ("o14" 23 36)
 ("u3" 9 37)
 ("o5" 30 40)
 ("o6" 15 42)
 ("o9" 5 46)
 ("o3" 10 46)
 ("u2" 36 54)
 ("u3" 44 54)
 ("u1" 55 58)
 ("o11" 35 59)
 ("o14" 41 62)
 ("o6" 43 65)
 ("o10" 28 66)
 ("o7" 24 70)
 ("o12" 61 74)
 ("o13" 7 85)
 ("o15" 32 88)
 ("o5" 69 95)
 ("u1" 89 96)
 ("o8" 24 111)
 ("o9" 47 111)
 ("o4" 53 112)
 ("o11" 60 118)
 ("o7" 84 122)
 ("o2" 91 123)
 ("o14" 63 130)
 ("u3" 86 130)
 ("o15" 89 134)
 ("o1" 87 143)
 ("o13" 89 144)
 ("o10" 85 173)
))
(37
 (
 ("o3" 3 16)
 ("o14" 8 23)
 ("o5" 13 23)
 ("u2" 13 26)
 ("o11" 11 32)
 ("u1" 29 32)
 ("o11" 40 41)
 ("o14" 30 43)
 ("u3" 16 44)
 ("o5" 37 47)
 ("o6" 5 49)
 ("o9" 12 53)
 ("o3" 17 53)
 ("u2" 43 61)
 ("u3" 51 61)
 ("o1" 27 63)
 ("o11" 42 66)
 ("o14" 48 69)
 ("o6" 50 72)
 ("o10" 35 73)
 ("o8" 19 74)
 ("u2" 82 84)
 ("o15" 39 95)
 ("o11" 85 98)
 ("o15" 96 121)
 ("o1" 86 127)
 ("o7" 43 132)
 ("o12" 56 134)
 ("o14" 80 136)
 ("u3" 81 140)
 ("o10" 74 142)
 ("o13" 63 147)
 ("o5" 74 155)
 ("o3" 78 160)
 ("o2" 93 176)
 ("o4" 93 184)
 ("o9" 99 187)
 ("u1" 72 188)
))
(38
 (
 ("o4" 1 2)
 ("o4" 6 7)
 ("o14" 0 15)
 ("o5" 5 15)
 ("o4" 11 17)
 ("u2" 5 18)
 ("o4" 19 23)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o4" 26 28)
 ("o4" 33 34)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o14" 37 39)
 ("o4" 35 41)
 ("o1" 37 44)
 ("o9" 4 45)
 ("o3" 9 45)
 ("o4" 44 46)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o4" 49 54)
 ("o13" 20 55)
 ("o11" 34 58)
 ("o14" 40 61)
 ("o3" 46 62)
 ("o4" 59 62)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o4" 68 72)
 ("o12" 56 77)
 ("u3" 62 79)
 ("o4" 76 81)
 ("o7" 63 84)
 ("o6" 65 86)
 ("o15" 31 87)
 ("o4" 83 90)
 ("o8" 23 91)
 ("u2" 54 97)
 ("o10" 73 101)
 ("o5" 40 120)
 ("o13" 82 122)
 ("o3" 83 124)
 ("o11" 63 125)
 ("o9" 69 131)
 ("u1" 46 132)
))
(39
 (
 ("u2" 11 18)
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o5" 30 42)
 ("o1" 3 46)
 ("o6" 27 46)
 ("o14" 36 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("o14" 50 53)
 ("u1" 40 57)
 ("o9" 18 59)
 ("o3" 23 59)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o11" 48 72)
 ("o14" 54 75)
 ("o6" 56 78)
 ("o10" 41 79)
 ("o6" 79 92)
 ("o15" 45 101)
 ("o2" 64 102)
 ("o10" 80 110)
 ("o1" 48 115)
 ("u1" 101 116)
 ("o13" 58 126)
 ("o3" 64 129)
 ("o11" 73 134)
 ("o7" 48 136)
 ("o12" 85 140)
 ("o4" 52 157)
 ("o8" 50 164)
 ("o9" 63 174)
 ("u2" 109 186)
 ("u3" 77 188)
))
(40
 (
 ("o14" 5 20)
 ("o5" 10 20)
 ("u2" 10 23)
 ("o7" 8 28)
 ("o11" 8 29)
 ("u1" 26 29)
 ("o14" 27 40)
 ("u3" 13 41)
 ("o5" 34 44)
 ("o14" 41 44)
 ("o9" 9 50)
 ("o3" 14 50)
 ("o3" 51 55)
 ("u2" 40 58)
 ("u3" 48 58)
 ("o7" 32 59)
 ("o11" 39 63)
 ("o14" 45 66)
 ("o1" 1 68)
 ("u3" 65 68)
 ("o6" 47 69)
 ("o13" 49 69)
 ("o10" 32 70)
 ("o7" 65 84)
 ("u1" 30 85)
 ("o10" 78 86)
 ("o4" 38 90)
 ("o9" 51 91)
 ("o15" 36 92)
 ("o11" 64 97)
 ("o2" 48 107)
 ("o12" 65 108)
 ("o5" 86 112)
 ("o7" 87 112)
 ("o3" 87 116)
 ("o1" 70 142)
 ("o6" 85 145)
 ("o8" 78 150)
))
(41
 (
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o11" 7 28)
 ("u1" 25 28)
 ("u2" 36 38)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("o9" 8 49)
 ("o3" 13 49)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o11" 38 62)
 ("o4" 38 64)
 ("o14" 44 65)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o11" 66 76)
 ("o2" 3 77)
 ("u3" 76 78)
 ("o14" 72 81)
 ("o15" 35 91)
 ("u1" 33 93)
 ("o8" 51 93)
 ("o11" 88 94)
 ("o14" 99 102)
 ("o5" 77 103)
 ("o3" 73 106)
 ("u2" 89 109)
 ("o11" 100 109)
 ("o9" 50 126)
 ("o1" 45 128)
 ("o10" 70 129)
 ("o12" 91 140)
 ("o13" 53 143)
 ("o6" 86 145)
 ("o2" 82 151)
 ("o15" 92 180)
))
(42
 (
 ("u3" 8 11)
 ("o14" 4 19)
 ("o5" 9 19)
 ("u2" 9 22)
 ("o8" 6 26)
 ("o11" 7 28)
 ("u1" 25 28)
 ("o10" 10 30)
 ("o14" 26 39)
 ("u3" 12 40)
 ("o5" 33 43)
 ("o9" 8 49)
 ("o3" 13 49)
 ("o8" 38 50)
 ("u2" 39 57)
 ("u3" 47 57)
 ("o11" 38 62)
 ("o14" 44 65)
 ("o9" 50 66)
 ("o6" 46 68)
 ("o10" 31 69)
 ("o3" 50 70)
 ("o7" 66 72)
 ("o14" 71 73)
 ("o8" 61 74)
 ("o4" 54 80)
 ("o15" 35 91)
 ("o1" 32 93)
 ("o12" 61 94)
 ("o6" 89 96)
 ("o5" 54 98)
 ("o8" 79 102)
 ("u3" 86 141)
 ("o3" 83 142)
 ("o2" 86 161)
 ("o13" 79 182)
))
(43
 (
 ("o14" 5 20)
 ("o5" 10 20)
 ("u2" 10 23)
 ("o7" 16 28)
 ("o11" 8 29)
 ("u1" 26 29)
 ("o14" 27 40)
 ("u3" 13 41)
 ("o5" 34 44)
 ("u3" 42 47)
 ("o7" 38 49)
 ("o9" 9 50)
 ("o3" 14 50)
 ("u2" 40 58)
 ("u3" 48 58)
 ("o11" 39 63)
 ("o14" 45 66)
 ("o6" 47 69)
 ("o10" 32 70)
 ("u1" 47 72)
 ("o7" 60 72)
 ("o3" 51 89)
 ("o8" 74 90)
 ("o7" 81 91)
 ("o15" 36 92)
 ("o5" 60 93)
 ("o10" 71 97)
 ("o9" 51 104)
 ("u2" 59 123)
 ("o12" 73 136)
 ("o11" 64 138)
 ("o1" 64 142)
 ("o6" 92 161)
 ("o4" 82 164)
 ("o2" 91 165)
))
(44
 (
 ("o14" 1 16)
 ("o5" 6 16)
 ("u2" 6 19)
 ("o14" 17 22)
 ("o11" 4 25)
 ("u1" 22 25)
 ("o10" 26 27)
 ("o11" 26 34)
 ("o14" 23 36)
 ("u3" 9 37)
 ("o5" 30 40)
 ("o6" 18 42)
 ("o9" 5 46)
 ("o3" 10 46)
 ("u2" 36 54)
 ("u3" 44 54)
 ("u3" 55 57)
 ("o11" 35 59)
 ("o13" 7 62)
 ("o14" 41 62)
 ("o1" 42 65)
 ("o6" 43 65)
 ("o10" 28 66)
 ("u2" 62 72)
 ("o2" 6 73)
 ("o3" 47 78)
 ("u3" 81 86)
 ("o15" 32 88)
 ("o9" 47 89)
 ("o6" 77 103)
 ("o15" 89 106)
 ("o1" 89 107)
 ("o5" 41 110)
 ("o7" 43 129)
 ("o4" 84 129)
 ("o12" 67 138)
 ("o2" 78 138)
 ("o13" 70 144)
 ("u1" 93 149)
 ("o3" 98 153)
 ("o14" 98 156)
 ("o8" 98 177)
))
(45
 (
 ("o9" 6 17)
 ("u1" 14 18)
 ("o14" 14 29)
 ("o5" 19 29)
 ("u2" 19 32)
 ("o11" 17 38)
 ("u1" 35 38)
 ("o5" 30 42)
 ("o14" 36 49)
 ("u3" 22 50)
 ("o5" 43 53)
 ("u1" 56 57)
 ("o8" 30 58)
 ("o9" 18 59)
 ("o3" 23 59)
 ("u2" 49 67)
 ("u3" 57 67)
 ("o11" 48 72)
 ("u1" 71 72)
 ("o14" 54 75)
 ("o6" 56 78)
 ("o10" 41 79)
 ("u2" 82 86)
 ("o9" 60 88)
 ("u1" 86 88)
 ("o12" 97 99)
 ("o11" 75 100)
 ("o15" 45 101)
 ("u1" 102 103)
 ("o13" 54 114)
 ("o5" 76 116)
 ("o8" 90 125)
 ("o9" 91 130)
 ("u3" 68 140)
 ("o7" 40 150)
 ("o3" 101 150)
 ("o2" 73 151)
 ("o14" 92 156)
 ("o15" 102 161)
 ("o10" 89 171)
 ("o6" 103 196)
))
(46
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o14" 16 21)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o15" 22 30)
 ("u2" 19 31)
 ("o14" 22 35)
 ("o13" 8 36)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o9" 4 45)
 ("o3" 9 45)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o12" 33 54)
 ("o11" 34 58)
 ("o14" 40 61)
 ("o6" 42 64)
 ("o10" 27 65)
 ("u2" 54 65)
 ("o2" 53 73)
 ("o13" 44 77)
 ("o3" 75 83)
 ("o15" 31 87)
 ("u2" 77 87)
 ("o11" 59 92)
 ("o14" 62 95)
 ("o10" 66 97)
 ("o12" 82 102)
 ("o1" 72 105)
 ("o4" 31 109)
 ("o8" 85 109)
 ("o7" 46 112)
 ("o9" 54 116)
 ("o5" 75 118)
 ("o6" 77 119)
 ("u3" 63 132)
 ("u1" 37 134)
))
(47
 (
 ("o14" 9 24)
 ("o5" 14 24)
 ("u2" 14 27)
 ("o11" 12 33)
 ("u1" 30 33)
 ("o15" 33 39)
 ("o11" 34 42)
 ("o14" 31 44)
 ("u3" 17 45)
 ("o5" 38 48)
 ("o14" 45 48)
 ("o9" 13 54)
 ("o3" 18 54)
 ("o4" 4 59)
 ("u2" 44 62)
 ("u3" 52 62)
 ("o11" 43 67)
 ("o14" 49 70)
 ("o1" 46 73)
 ("o6" 51 73)
 ("o10" 36 74)
 ("o13" 61 85)
 ("o5" 76 91)
 ("o15" 40 96)
 ("o9" 55 96)
 ("o4" 64 104)
 ("o3" 84 132)
 ("u3" 98 132)
 ("o7" 57 141)
 ("o12" 84 146)
 ("o2" 92 148)
 ("u1" 50 152)
 ("o8" 55 154)
 ("o4" 107 154)
))
(48
 (
 ("o14" 0 15)
 ("o5" 5 15)
 ("u2" 5 18)
 ("o7" 21 23)
 ("o11" 3 24)
 ("u1" 21 24)
 ("o15" 24 25)
 ("u1" 25 27)
 ("o14" 22 35)
 ("u3" 8 36)
 ("o5" 29 39)
 ("o14" 36 39)
 ("o6" 1 41)
 ("o9" 4 45)
 ("o3" 9 45)
 ("u2" 35 53)
 ("u3" 43 53)
 ("o13" 49 57)
 ("o11" 34 58)
 ("u1" 49 58)
 ("o14" 40 61)
 ("o11" 59 62)
 ("o7" 56 63)
 ("o6" 42 64)
 ("o10" 27 65)
 ("o1" 9 67)
 ("o12" 43 75)
 ("o3" 46 81)
 ("u3" 78 82)
 ("o15" 31 87)
 ("u1" 77 88)
 ("o8" 77 94)
 ("o9" 46 98)
 ("o10" 66 102)
 ("u2" 70 116)
 ("o4" 74 135)
 ("o6" 76 140)
 ("o1" 80 152)
 ("o5" 78 158)
 ("o2" 68 159)
))
(49
 (
 ("o6" 6 8)
 ("o11" 10 11)
 ("u2" 9 13)
 ("o6" 11 15)
 ("o6" 17 20)
 ("o6" 22 23)
 ("o14" 9 24)
 ("o5" 14 24)
 ("u2" 14 27)
 ("o6" 25 31)
 ("o11" 12 33)
 ("u1" 30 33)
 ("o6" 34 35)
 ("o5" 31 37)
 ("o15" 25 39)
 ("o14" 31 44)
 ("o6" 40 44)
 ("u3" 17 45)
 ("o2" 39 47)
 ("o5" 38 48)
 ("o14" 45 48)
 ("o6" 49 50)
 ("u3" 46 51)
 ("o9" 13 54)
 ("o3" 18 54)
 ("u2" 44 62)
 ("u3" 52 62)
 ("o11" 43 67)
 ("o7" 41 70)
 ("o14" 49 70)
 ("o6" 51 73)
 ("o10" 36 74)
 ("o10" 75 79)
 ("o6" 76 79)
 ("o2" 76 83)
 ("o12" 10 85)
 ("o14" 75 85)
 ("o6" 84 87)
 ("o15" 40 96)
 ("o6" 91 97)
 ("u1" 98 99)
 ("o1" 93 100)
 ("o3" 75 101)
 ("o6" 100 102)
 ("o15" 97 104)
 ("o13" 14 106)
 ("o8" 94 120)
 ("u3" 92 121)
 ("o9" 56 138)
 ("o11" 94 163)
 ("o12" 96 187)
))
